KOMPILE_FLAGS=--syntax-module FOO
include ../../../include/kframework/ktest-fail.mak
